A Knowledge Repository for Indefinite Integration Based on Transformation Rules
نویسندگان
چکیده
Taking the specific problem domain of indefinite integration, we describe the on-going development of a repository of mathematical knowledge based on transformation rules. It is important that the repository be not confused with a look-up table. The database of transformation rules is at present encoded in Mathematica, but this is only one convenient form of the repository, and it could be readily translated into other formats. The principles upon which the set of rules is compiled is described. One important principle is minimality. The benefits of the approach are illustrated with examples, and with the results of comparisons with other approaches.
منابع مشابه
Reducing expression size using rule-based integration
This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted to integration. Several optimization goals are being pursued, including achieving the best form for the output, reducing the size of the repository while retaining its scope, and minimizing the number of steps require...
متن کاملThe Effects of Direct Corrective Feedback and Metalinguistic Explanation on EFL Learners’ Implicit and Explicit Knowledge of English Definite and Indefinite Articles
This study investigated the effects of two types of written feedback – direct corrective feedback (DCF) and metalinguistic explanation (ME) - on Iranian EFL learners’ implicit and explicit knowledge of English definite and indefinite articles. Assigned to three groups of DCF, ME, and control groups, the participants took four tests in three testing phases: pretest, posttest, and delayed posttes...
متن کاملGKB - Geographic Knowledge Base
This paper introduces GKB, a repository based on a domain-independent meta-model for integrating geographic knowledge collected from multiple sources. We present the architecture, the repository design and the data cleaning and knowledge integration processes. We also describe the rules developed to add new knowledge to the repository. GKB includes tools for generating ontologies, which are bei...
متن کاملA Geographic Knowledge Base for Semantic Web Applications
This paper introduces GKB, a repository based on a domain independent meta-model for integrating geographic knowledge collected from multiple sources. We present the architecture, the repository design and the data cleaning and knowledge integration processes. We also describe the rules developed to add new knowledge to GKB. GKB includes tools for generating ontologies, which are being used by ...
متن کاملComponent Development: MDA Based Transformation from eODL to CIDL
The development of software systems in general and software components in particular becomes a more and more challenging task. The key solution for handling the complexity in the development process is modeling of software systems and the transformation into implementation. The authors show an application of OMG’s Model Driven Architecture (MDA) in the context of component development, where di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009